Distributive p-algebras and double p-algebras having n-permutable congruences
نویسندگان
چکیده
منابع مشابه
Distributive Congruence Lattices of Congruence-permutable Algebras
We prove that every distributive algebraic lattice with at most א1 compact elements is isomorphic to the normal subgroup lattice of some group and to the submodule lattice of some right module. The א1 bound is optimal, as we find a distributive algebraic lattice D with א2 compact elements that is not isomorphic to the congruence lattice of any algebra with almost permutable congruences (hence n...
متن کاملThe variety of lambda abstraction algebras does not admit n-permutable congruences for all n
In this section we summarize deenitions and results concerning the lambda calculus and the theory of lambda abstraction algebras. Our main references will be 10] and 11] for lambda abstraction algebras and Barendregt's book 1] for lambda calculus. Lambda calculus. The untyped lambda calculus was introduced by Church as a foundation for logic. Although the appearance of paradoxes caused the prog...
متن کاملPrincipal Congruences of /7-algebras and Double /»-algebras
Principal congruence of pseudocomplemented lattices (= palgebras) and of double pseudocomplemented lattices (= double p-algebras), i.e. pseudocomplemented and dual pseudocomplemented ones, are characterized.
متن کاملA NOTE ON CONGRUENCE LATTICES OF DISTRIBUTIVE p–ALGEBRAS
A (distributive) p-algebra is an algebra 〈L;∨,∧, ∗, 0, 1〉 whose reduct 〈L;∨,∧, 0, 1〉 is a bounded (distributive) lattice and whose unary operation ∗ is characterized by x ≤ a if and only if a ∧ x = 0. If L is a p-algebra, B(L) = { x ∈ L : x = x } and D(L) = { x ∈ L : x = 1 } then 〈B(L);∪,∧, 0, 1〉 is a Boolean algebra when a ∪ b is defined to be (a∗ ∧ b∗)∗, for any a, b ∈ B(L), D∗(L) = { x ∨ x∗ ...
متن کاملDouble derivations of n-Lie algebras
After introducing double derivations of $n$-Lie algebra $L$ we describe the relationship between the algebra $mathcal D(L)$ of double derivations and the usual derivation Lie algebra $mathcal Der(L)$. In particular, we prove that the inner derivation algebra $ad(L)$ is an ideal of the double derivation algebra $mathcal D(L)$; we also show that if $L$ is a perfect $n$-Lie algebra wit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Edinburgh Mathematical Society
سال: 1992
ISSN: 0013-0915,1464-3839
DOI: 10.1017/s0013091500005563